Theorem T000262