Theorem T000850