Theorem T000404