:: deftheorem MATRIX_7:def 3 :
canceled;