Law of Excluded Middle/Sequent Form/Proof 1

Theorem

 * $\vdash p \lor \neg p$