Non-Equivalence as Disjunction of Negated Implications/Proof 1