Well, there exists a homomorphism . It just so happens that this is an isomorphism, but that is not reeeeeeeeally needed. You need surjectivity, but not injectivity.

So, as this is an isomorphism we have that every element of is of the form for some . Now, use the fact that this is a homomorphism, so .