for Al being QC-alphabet holds VERUM Al is valid by Th37;