Disjunction with Contradiction

Theorem
A disjunction with a contradiction:


 * $p \lor \bot \dashv \vdash p$