theorem Th34: :: MATRIX_9:34

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