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