Reductio ad Absurdum/Variant 2

Theorem
If, by making an assumption $\neg p$, we can infer a contradiction as a consequence, then we may infer $p$:
 * $\neg p \implies \left({q \land \neg q}\right) \vdash p$