Image of a Homomorphism Is a Subgroup