theorem Th15: :: AUTGROUP:15

for G being strict Group holds id the carrier of G is Element of InnAut G