Theorem T000642

¬ ∧ ∧ ¬ ⇒ ¬