theorem Th5: :: AUTGROUP:5

for G being strict Group
for f being Element of Aut G holds f " is Homomorphism of G,G