theorem Th15: :: AUTGROUP:15

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