Theorem T000425