Theorem T000290