let g be Homomorphism of G,H; :: thesis: g is unity-preserving
thus g . (1_ G) = 1_ H by Th40; :: according to GROUP_1:def 13 :: thesis: verum