for n being Nat st n < 2 holds
for p being Element of Permutations n holds
( p is even & p = idseq n )