theorem Th13: :: AUTGROUP:13

for G being Group holds InnAut G c= Aut G