theorem Th9: :: AUTGROUP:9

for G being Group holds id the carrier of G = 1_ (AutGroup G)