theorem :: AUTGROUP:29

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