Theorem T000333