Law of Excluded Middle implies Peirce's Law

Theorem
From the Law of Excluded Middle follows Peirce's Law:
 * $\paren {p \lor \neg p} \vdash \paren {\paren {p \implies q} \implies p} \implies p$