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