theorem Th22: :: AUTGROUP:22

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