theorem Th50: :: GROUP_6:50

for G, H being Group
for g being Homomorphism of G,H st G is finite holds
Image g is finite