Law of Identity/Formulation 2

Theorem
Every proposition entails itself:
 * $\vdash p \implies p$

Also see
Some sources, for example, use the statement:
 * $\vdash p \implies p$

to be the defining property of a tautology.