for G, H being Group
for g being Homomorphism of G,H holds g . (1_ G) = 1_ H