Theorem T000140