Disjunction with Tautology

Theorem
A disjunction with a tautology:
 * $p \lor \top \dashv \vdash \top$