theorem :: CQC_SIM1:17

for A being QC-alphabet
for p, q being Element of CQC-WFF A holds QuantNbr (p '&' q) = (QuantNbr p) + (QuantNbr q)