Modus Ponendo Ponens/Variant 1

Theorem

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