Category:Composition of Ring Homomorphisms is Ring Homomorphism