theorem Th59: :: PROOFS_1:20

for P being non empty ProofSystem
for B, B1, B2 being Subset of P st B1 is B -omitting & B2 c= B1 holds
B2 is B -omitting