Theorem T000642

¬ ∧ ¬ ⇒ ¬