Theorem T000288