theorem Th32: :: GROUP_6:32

for G, H being Group
for a being Element of G
for g being Homomorphism of G,H holds g . (a ") = (g . a) "