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

Proof

 * align="right" | 2 ||
 * align="right" | 1
 * $p \implies q$
 * SI
 * 1
 * using Formulation 1 of this statement
 * using Formulation 1 of this statement