theorem :: CQC_SIM1:14

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