Theorem T000295

⇒ ¬