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