Theorem T000358