theorem Th44: :: MATRIX_9:44
<*1,3,2*> is odd Permutation of (Seg 3)