theorem Th44: :: GROUP_6:44

for G, H being Group
for g being Homomorphism of G,H holds rng g = the carrier of (Image g)