Theorem T000838

∧ ⇒ ¬