if then

if then thus: i.e.

for any let so from the first part of your problem we know that is a subspace of so for any the map

defined by: is a well-definedonto homomorphism. thus is isomorphic to a quotient of thus: hence:

this is trivial from the first part of your question.