theorem Th19: :: AUTGROUP:19

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