Proof by Contradiction/Variant 3

Theorem

 * $p \implies \neg p \vdash \neg p$

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