Theorem T000682