theorem Th18: :: QC_TRANS:18

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