Biconditional of Proposition and its Negation

Theorem
A biconditional of a proposition and its negation:
 * $\vdash \neg (p \iff \neg p)$