Clavius's Law/Formulation 1/Proof 1

Theorem

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