for G being strict Group holds InnAut G c= Aut G