Theorem T000278