Non-Equivalence as Equivalence with Negation/Formulation 1/Proof 1