Theorem T000141