Conjunction of Disjunctions Consequence

Theorem
$(p \lor q) \land (r \lor s) \vdash p \lor r \lor (q \land s)$