Conjunction with Tautology

Theorem
A conjunction with a tautology:
 * $p \land \top \dashv \vdash p$