Theorem T000269