Theorem T000046