Theorem T000208

⇒ ¬