Negation as Implication of Bottom

Theorem
$p \implies \bot \dashv\vdash \neg p$