theorem Th43: :: PROOFS_1:4

for B being set
for R being Rule
for S1, S2 being Formula-finset st S1 is B,R -derivable & S2 is B,R -derivable holds
S1 \/ S2 is B,R -derivable