Implication Equivalent to Negation of Conjunction with Negative/Formulation 2/Proof 1