theorem Th4: :: AUTGROUP:4

for G being Group
for h being Homomorphism of G,G holds
( h in Aut G iff h is bijective ) by Def1;