Factor Principles/Conjunction on Left/Formulation 1

Theorem

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