theorem :: MATRIXC1:2

canceled;