theorem Th122: :: ABCMIZ_1:122

for C being initialized ConstructorSignature
for t being set holds
( t in Terminals (DTConMSA (MSVars C)) iff ex x being variable st t = [x,(a_Term C)] )