Theorem T000237

⇒