theorem :: MATRIXC1:20

canceled;