Tautological Consequent

Theorem
An implication with a tautology as consequent:
 * $p \implies \top \dashv \vdash \top$

Also see

 * True Statement is implied by Every Statement