:: deftheorem MATRIX_3:def 2 :
canceled;