:: deftheorem defines a_Term ABCMIZ_1:def 6 :
a_Term = 2;