Negation implies Negation of Conjunction/Case 1

Theorem

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