Theorem T000692