Rule of Explosion/Variant 1

Theorem

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