:: deftheorem defines a_Type ABCMIZ_1:def 13 :
for C being ConstructorSignature holds a_Type C = a_Type ;