Theorem T000334