Theorem T000358

⇒