Modus Ponendo Ponens/Variant 2/Proof 1

Theorem

 * $\vdash p \implies \left({\left({p \implies q}\right) \implies q}\right)$