theorem Th35: :: MATRIX_9:35

for p being Permutation of (Seg 3) st p = <*2,3,1*> holds
not p is being_transposition