Implication Details

Assumptions: additive, regular subobject classifier

Conclusions: trivial

Reason: See MSE/4086192.