Theorem T000234

⇒