Theorem T000265