for A being QC-alphabet holds index (VERUM A) = 0 A