False Statement implies Every Statement/Formulation 2

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

Proof

 * align="right" | 2 ||
 * align="right" | 1
 * $p \implies q$
 * SI
 * 1
 * False Statement Implies Every Statement: Formulation 1
 * False Statement Implies Every Statement: Formulation 1