Theorem T000126