Theorem T000629