theorem :: ABCMIZ_1:101

for C being initialized ConstructorSignature
for T being quasi-type of C holds varcl (vars T) = vars T ;