4 Definimos la sucesión $x_n$ de modo que \[x_1=a, x_2=b, x_n=\frac{{x_{n-1}}^2+{x_{n-2}}^2}{x_{n-1}+x_{n-2}} \quad \forall n \geq 3.\] Donde $a,b >1$ son números primos relativos. Muestre que $x_n$ no es un entero para $n \geq 3$ .