Theorem T000298