theorem Th10: :: AUTGROUP:10

for G being Group
for f being Element of Aut G
for g being Element of (AutGroup G) st f = g holds
f " = g "