Theorem T000346

⇒ ¬