Theorem T000426