Factor Principles/Conjunction on Left/Formulation 1/Proof 2

Theorem

 * $p \implies q \vdash \paren {r \land p} \implies \paren {r \land q}$