Theorem T000232