theorem Th49: :: GROUP_6:49

for G, H being Group
for h being Homomorphism of G,H holds h is Homomorphism of G,(Image h)