Theorem T000049