theorem Th69: :: GROUP_24:65

for G being Group holds Aut ((1). G) = {(id ((1). G))}