Implication Details

Assumptions: regular-subobject-trivial, self-dual

Conclusions: regular-quotient-trivial

Proof: This holds by self-duality.