Theorem T000143