for Al being QC-alphabet holds {(VERUM Al)} is Consistent