theorem Th52: :: GROUP_6:52

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