Theorem T000098