theorem Th42: :: MATRIX_9:42

<*3,2,1*> is odd Permutation of (Seg 3)