theorem Th22: :: CQC_SIM1:22

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