Double Negation Elimination implies Law of Excluded Middle/Proof 1