Composite of Group Homomorphisms/Proof 1