:: deftheorem MATRIX_3:def 3 :
canceled;