Range of Homomorphism is Subgroup | Abstract Algebra