theorem Th22: :: QC_TRANS:22

for Al being QC-alphabet
for PHI being Consistent Subset of (CQC-WFF Al)
for CHI being Subset of (CQC-WFF Al) st CHI c= PHI holds
CHI is Consistent