Theorem T000131