7 Una ecuación $P(x)=Q(y)$ se llama Interesante si $P$ y $Q$ son polinomios de grado al menos uno con coeficientes enteros y la ecuación tiene un número infinito de soluciones en $\mathbb{N}$ . Una ecuación interesante $P(x)=Q(y)$ produce una ecuación interesante $F(x)=G(y)$ si existe un polinomio $R(x) \in \mathbb{Q} [x]$ tal que $F(x) \equiv R(P(x))$ y $G(x) \equiv R(Q(x))$ . (a) Suponga que $S$ es un subconjunto infinito de $\mathbb{N} \times \mathbb{N}$ . $S$ es una solución de la ecuación interesante $P(x)=Q(y)$ si cada elemento de $S$ es una solución de esta ecuación. Demuestre que para cada $S$ existe una ecuación interesante $P_0(x)=Q_0(y)$ tal que si existe alguna ecuación interesante de la cual $S$ sea una solución, entonces $P_0(x)=Q_0(y)$ produce esa ecuación. (b) Defina el grado de una ecuación interesante $P(x)=Q(y)$ como $max\{deg(P),deg(Q)\}$ . Una ecuación interesante se llama primaria si no existe otra ecuación interesante de menor grado que la produzca. Demuestre que si $P(x)=Q(y)$ es una ecuación interesante primaria y $P$ y $Q$ son mónicos, entonces $(deg(P),deg(Q))=1$ . El tiempo permitido para esta pregunta fue de 2 horas.