Implication Details

Assumptions: self-dual, well-powered

Conclusions: well-copowered

Reason: This holds by self-duality.