theorem Th3: :: AUTGROUP:3

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