Theorem T000275