theorem Th31: :: GROUP_6:31

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