Conjunction with Contradiction/Proof 1

Theorem

 * $p \land \bot \dashv \vdash \bot$