True Statement is implied by Every Statement/Formulation 2

Theorem

 * $\vdash q \implies \left({p \implies q}\right)$