Clavius's Law/Formulation 1/Proof 2

Theorem
Accepting Peirce's Law:
 * $(p \implies q) \implies p \vdash p$

as a rule of logic, we can prove Clavius's Law:
 * $\neg p \implies p \vdash p$