Factor Principles/Disjunction on Right/Formulation 1

Theorem

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