Theorem T000398