Assumptions: mono-regular, regular subobject classifier
Conclusions: subobject classifier
Proof: This is obvious.