True Statement is implied by Every Statement/Formulation 1

Theorem
If something is true, then anything implies it.
 * $p \vdash q \implies p$