theorem :: CQC_THE1:60

for Al being QC-alphabet holds VERUM Al is valid by Th37;