Theorem T000075

⇒ ¬