Biconditional is Reflexive/Proof 1

Theorem

 * $\vdash p \iff p$