Theorem T000372

⇒