Theorem T000052

⇒ ¬