False Statement implies Every Statement/Formulation 2/Proof 1

Theorem

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