for G being strict Group st G is commutative Group holds
for f being Element of (InnAutGroup G) holds f = 1_ (InnAutGroup G)