Implication Details

Assumptions: subobject-trivial

Conclusions: mono-regular

Reason: This is trivial.