Assumptions: elementary topos
Conclusions: locally cartesian closed
Proof: See Johnstone, Cor. A2.3.4.