Theorem T000838

⇒ ¬