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