theorem Th37: :: CQC_THE1:41

for Al being QC-alphabet holds VERUM Al in TAUT Al