Nombre de un teorema

Question

Estoy leyendo Teoría elemental de números de Underwood Dudley (2ª Ed), pg 156 dice:

Teorema. Sea $$F(x,y) = a_nx^n + a_{n-1}x^{n-1}y+a_{n-2}x^{n-2}y^2+\cdots+a_0y^n,$$ y supongamos que $F(x,1)=0$ no tiene raíces repetidas. Entonces la ecuación $$F(x,y)=c,$$ donde $c$ es un número entero, sólo tiene un número finito de soluciones si $n\ge 3$ .

¿Existe un nombre para este teorema?

Answer 1

Es un corolario inmediato del teorema de Thue, véase este texto sección 3.