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