theorem :: PROOFS_1:16

for B being set
for R, R1, R2 being Rule holds
( R1 \/ R2 is B,R -derivable iff ( R1 is B,R -derivable & R2 is B,R -derivable ) )