Theorem T000088

⇒ ¬