theorem Th16: :: AUTGROUP:16

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