Non-Equivalence as Disjunction of Conjunctions/Formulation 1/Reverse Implication/Proof