Theorem T000335