Negation of Excluded Middle is False/Form 1

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

Remark
The specific form of De Morgan's Laws used in this proof does not itself rely on Law of Excluded Middle in any way.