Law of Excluded Middle implies Peirce's Law

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