theorem Th106: :: ABCMIZ_1:106

for C being initialized ConstructorSignature
for q being pure expression of C, a_Type C holds variables_in (({} (QuasiAdjs C)) ast q) = variables_in q