Implication Details

Assumptions: regular-quotient-trivial, self-dual

Conclusions: regular-subobject-trivial

Proof: This holds by self-duality.