Theorem T000081

⇒ ¬