theorem :: AUTGROUP:20

for G being Group
for f being Element of InnAut G
for g being Element of (InnAutGroup G) st f = g holds
f " = g "