$\equiv$ Theorem 2: p $\equiv$ p

$\hspace{2 cm}$ p $\equiv$ p
$\hspace{0.5 cm} =$ the $\equiv$ Identity Axiom. $p \equiv p \equiv true$
$\hspace{2 cm}$ true. QED