theorem Th28: :: MATRIX_9:28

<*2,3,1*> " = <*3,1,2*>