Non-Equivalence of Proposition and Negation

Theorem
$\vdash \lnot \left({p \iff \lnot p}\right)$