Theorem T000229