theorem Th10: :: GOEDCPUC:10

for Al being QC-alphabet
for PHI being Consistent Subset of (CQC-WFF Al) ex Al2 being b₁ -expanding QC-alphabet ex PSI being Consistent Subset of (CQC-WFF Al2) st
( PHI c= PSI & PSI is with_examples )