False Statement implies Every Statement/Formulation 1/Proof 1

Theorem

 * $\neg p \vdash p \implies q$