theorem Th3: :: MATRIX_7:3

Permutations 2 = {<*1,2*>,<*2,1*>}