for A being QC-alphabet holds
( NAT c= QC-symbols A & 0 in QC-symbols A )