:: deftheorem defines a_Term ABCMIZ_1:def 15 :
for C being ConstructorSignature holds a_Term C = a_Term ;