Disjunction with Contradiction

Theorem
A disjunction with a contradiction:
 * $p \lor \bot \dashv \vdash p$