False Statement implies Every Statement/Formulation 2

Theorem

 * $\vdash \neg p \implies \paren {p \implies q}$