Theorem T000434