for G, H being Group
for g being Homomorphism of G,H holds card (Image g) c= card G