Theorem T000714