Equivalence of Double Negation Elimination and Proof by Contradiction