Law of Identity/Formulation 1

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