Implication Details

Assumptions: subobject classifier

Conclusions: regular subobject classifier

Reason: This is obvious.