theorem Th12: :: GOEDCPUC:12

for Al being QC-alphabet
for PSI being Consistent Subset of (CQC-WFF Al) ex THETA being Consistent Subset of (CQC-WFF Al) st
( THETA is negation_faithful & PSI c= THETA )