theorem :: MATRIX_7:19

canceled;