theorem :: GROUP_6:68

for G, H being Group
for h being Homomorphism of G,H st h is one-to-one holds
G, Image h are_isomorphic