Theorem T000279