Composite of Homomorphisms is Homomorphism