Theorem T000924