Theorem T000234