Implication Details

Assumptions: locally essentially small, subobject classifier

Conclusions: well-powered

Reason: See Mac Lane & Moerdijk, Prop. I.3.1.