Factor Principles/Conjunction on Left/Formulation 2

Theorem

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