Tengo una referencia que cita este teorema para real polinomios, pero si repaso la prueba quizás esto también funcione sobre otros campos/dominios euclidianos posiblemente. Aquí está :
Teorema . Sea $f(x,y)$ sea un polinomio con coeficientes reales y grado $d$ . Sea $a,b,c$ sean números reales, y que $L$ denotan el conjunto de puntos $(x,y)$ para lo cual $ax + by + c = 0$ . Si la curva $f(x,y) = 0$ y $L$ tienen estrictamente más de $d$ puntos distintos en común, entonces existe $k(x,y)$ con coeficientes reales tales que $$ f(x,y) = (ax+by+c)k(x,y). $$ Esto está en Niven & Zuckerman's Introducción a la teoría de los números así que no se centra en el álgebra. Editaré esta respuesta más tarde si veo una razón por la que esto se mantendría sobre algunos otros campos, pero la prueba utiliza principalmente la expansión de Taylor del polinomio (que se puede hacer formalmente, sin utilizar la diferenciación en el sentido de "límite").
Espero que eso ayude,