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