theorem Th4: :: CAYLEY:4
permutations {} = {{}}