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 } }$