Peirce's Law

Context
Natural deduction.

Definition
$$\left({p \Longrightarrow q}\right) \Longrightarrow p \vdash p$$

Proof
This is proved by the tableau method:

Comment
A counter-intuitive result that depends on the controversial Law of the Excluded Middle.