Theorem T000338