Double Negation Elimination implies Law of Excluded Middle/Proof 2

Theorem
Let the Law of Double Negation Elimination be supposed to hold:
 * $\neg \neg p \vdash p$

Then the Law of Excluded Middle likewise holds:
 * $\vdash p \lor \neg p$