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)$