Tautological Antecedent/Proof 1

Theorem

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