theorem :: MATRIX_1:10

Permutations 1 = {(idseq 1)}