Implication Details

Assumptions: elementary topos, locally essentially small

Conclusions: well-copowered

Reason: This follows from Mac Lane & Moerdijk, Theorem IV.7.8 (and Prop. I.3.1).