Theorem T000329