Non-Equivalence as Conjunction of Disjunction with Negation of Conjunction/Proof 1