theorem :: QC_LANG3:20

for A being QC-alphabet holds
( VERUM A is closed & FALSUM A is closed ) by Th3, Th8;