Theorem T000668