Theorem T000708