Theorem T000262

∧ ¬ ⇒ ¬