Theorem T000260