Implication Details

Assumptions: coequalizers, finitely complete, locally cartesian closed

Conclusions: regular

Reason: See Johnstone, Lemma A1.5.13. From this it follows also that every elementary topos is regular.