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