Theorem T000432