Theorem T000247

⇒ ¬