for A being QC-alphabet holds A = [:NAT,(QC-symbols A):]