theorem Th6: :: CAYLEY:6

for X being set holds 1_ (SymGroup X) = id X