theorem :: AUTGROUP:29

for G being strict Group holds InnAutGroup G,G ./. (center G) are_isomorphic