Theorem T000848