Implication Details

Assumptions: self-dual, well-copowered

Conclusions: well-powered

Proof: This holds by self-duality.