theorem Th94: :: ABCMIZ_1:94

for C being initialized ConstructorSignature
for a being expression of C, an_Adj C holds variables_in ((non_op C) term a) = variables_in a