Modus Ponendo Ponens/Variant 2

Theorem

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