Law of Identity/Formulation 2/Proof 1

Theorem

 * $\vdash p \implies p$

Proof

 * align="right" | 1 ||
 * align="right" |
 * $p \implies p$
 * Theorem Introduction
 * (None)
 * Law of Identity: Formulation 2
 * Law of Identity: Formulation 2

These are the second shortest tableau proofs possible.