Theorem T000261