Implication Details

Assumptions: elementary topos

Conclusions: coregular

Reason: This is proven in Johnstone, A2.6.3 (for every quasitopos).