theorem Th12: :: MATRIX_9:12

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