Category:Double Negation Elimination implies Law of Excluded Middle