Law of Identity/Formulation 2/Proof 2

Theorem
Every proposition entails itself:


 * $\vdash p \implies p$

Proof
Using a tableau proof for instance 1 of a Hilbert proof system: