theorem Th6: :: CQC_LANG:6

for A being QC-alphabet holds VERUM A is Element of CQC-WFF A