Rule of Exportation/Formulation 1/Proof 1

Theorem

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