Theorem T000362

⇒