Constructive Dilemma/Formulation 1/Proof 3

Theorem

 * $p \implies q, r \implies s \vdash p \lor r \implies q \lor s$