Theorem T000836

⇒ ¬