Muestra que $x^3 + x+ a^2 = y^2$ tiene al menos un par de soluciones enteras positivas $(x,y)$ para cada entero positivo $a$.