theorem Th6: :: AUTGROUP:6

for G being Group
for f being Element of Aut G holds f " is Element of Aut G