Theorem T000449