Law of Identity/Formulation 1/Proof 1

Proof
This is the shortest tableau proof possible.