theorem :: PROOFS_1:23

for P being non empty ProofSystem
for B being Subset of P st P is consistent & not P is paraconsistent & B is consistent holds
ex B1 being Subset of P st
( B c= B1 & B1 is maximally-consistent )