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