Theorem T000191

⇒ ¬