Peirce's Law/Formulation 1

Theorem

 * $\paren {p \implies q} \implies p \vdash p$