Theorem T000435