theorem :: QC_TRANS:23

for Al being QC-alphabet
for PHI being Consistent Subset of (CQC-WFF Al)
for Al2 being b₁ -expanding QC-alphabet holds PHI is Al2 -Consistent