then as the identity element of is mapped to the identity element
then as must hold
we have where as bijection each
therefore in
This is only half the battle. You've shown that , but you can use the same process in reverse (since all you used was that is a homomorphism, but is as well!) to get that .