Implication is Left Distributive over Disjunction/Formulation 1/Reverse Implication

Theorem

 * $\left({p \implies q}\right) \lor \left({p \implies r}\right) \vdash p \implies \left({q \lor r}\right)$