Theorem T000268