Assumptions: quotient-trivial, self-dual
Conclusions: subobject-trivial
Reason: This holds by self-duality.