:: deftheorem defines a_Type ABCMIZ_1:def 4 :
a_Type = 0 ;