Theorem T000926