Implication Details

Assumptions: self-dual, well-copowered

Conclusions: well-powered

Reason: This holds by self-duality.