Polynomial remainder theorem