Disjunction with Tautology

Theorem
A disjunction with a tautology:


 * $p \lor \top \dashv \vdash \top$