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