Contradictory Antecedent/Proof 1

Theorem

 * $\bot \implies p \dashv \vdash \top$