Non-Equivalence as Equivalence with Negation/Formulation 1/Reverse Implication

Theorem

 * $\paren {p \iff \neg q} \vdash \neg \paren {p \iff q}$