Theorem T000347

⇒