Category:Composite of Group Homomorphisms is Homomorphism