theorem Th6: :: QC_LANG1:6

for A being QC-alphabet holds QC-pred_symbols A c= [:NAT,(QC-symbols A):]