Clavius's Law/Formulation 1/Proof 2

Theorem
From Peirce's Law:
 * $\left({p \implies q}\right) \implies p \vdash p$

follows Clavius's Law:
 * $\neg p \implies p \vdash p$