theorem Th99: :: ABCMIZ_1:99

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