Rule of Explosion/Variant 1

Theorem

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