for G, H being Group
for h being Homomorphism of G,H holds
( h is one-to-one iff Ker h = (1). G )