Theorem T000761