theorem Th42: :: PROOFS_1:3

for B being set
for R being Rule
for P1, P2 being Formula-sequence st P1 is B,R -correct & P2 is B,R -correct holds
P1 ^ P2 is B,R -correct