De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Proof 1