Theorem T000289