True Statement is implied by Every Statement/Formulation 2

Theorem
If something is true, then anything implies it:
 * $\vdash q \implies \left({p \implies q}\right)$