theorem Th9: :: GOEDCPUC:9

for Al being QC-alphabet
for PHI being Consistent Subset of (CQC-WFF Al) holds PHI \/ (Example_Formulae_of Al) is Consistent Subset of (CQC-WFF (FCEx Al))