Theorem T000767