for Al being QC-alphabet
for Al2 being b₁ -expanding QC-alphabet holds QC-symbols Al c= QC-symbols Al2