Theorem T000144