theorem Th4: :: CAYLEY:4

permutations {} = {{}}