theorem :: ABCMIZ_1:85

for C being initialized ConstructorSignature
for e being expression of C holds varcl (vars e) = vars e ;