theorem Th43: :: MATRIX_9:43

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