Theorem T000686