theorem Th44: :: PROOFS_1:5

for B, B1 being set
for R, R1 being Rule
for P being Formula-sequence st B c= B1 & R c= R1 & P is B,R -correct holds
P is B1,R1 -correct by Lm44;