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-defined onto homomorphism. thus is isomorphic to a quotient of thus: hence:
this is trivial from the first part of your question.