Peirce's Law implies Law of Excluded Middle

Theorem
From Peirce's Law:
 * $\left({p \implies q}\right) \implies p \vdash p$

follows the Law of Excluded Middle:
 * $\vdash p \lor \neg p$