theorem Th6: :: MATRIX_9:6

Permutations 2 = {(idseq 2),(Rev (idseq 2))}