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