for G being strict Group
for f being Element of InnAut G holds f is Element of Aut G