Rule of Conjunction/Sequent Form/Formulation 2

Theorem
The Rule of Conjunction can be symbolised by the sequent:
 * $\vdash p \implies \paren {q \implies \paren {p \land q} }$