Theorem T000267