Un par ordenado $(x,y)$ de enteros es un punto "primitivo" si el máximo común divisor de $x,y$ es $1$. Dado un conjunto finito $S$ de puntos primitivos, demostrar que existen un entero positivo $n$ y enteros $a_0,a_1,\cdots a_n$ tales que, para cada $(x,y)\in S$ se cumple: $$a_0x^n + a_1x^{n-1} y + a_2x^{n-2}y^2 + \cdots + a_{n-1}xy^{n-1} + a_ny^n = 1.$$