Group homomorphism/Image/Subgroup/Fact/Proof

Proof

Let . We have . Let . Then there exist such that and . Therefore, . Similarly, for there exists a fulfilling . Hence, .