Theorem T000337