Proof by Cases with Contradiction

Theorem

 * $\vdash p \iff \left({p \lor q}\right) \land \left({p \lor \neg q}\right)$