Implication Details

Assumptions: additive, regular subobject classifier

Conclusions: trivial

Reason: See MSE/4086192 (the proof works with these assumptions).