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