Tag polynomial remainder theorem