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