Peirce's Law/Strong Form/Formulation 2

Theorem

 * $\vdash ((p \implies q) \implies p) \iff p$