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