Negation of Excluded Middle is False/Form 2

Theorem
$\vdash \neg \neg (p \lor \neg p)$