Assumptions: regular subobject classifier
Conclusions: finitely complete
Reason: This holds by definition.