7 Demuestra que $4x^3-3x+1=2y^2$ tiene al menos $31$ soluciones en enteros positivos $x,y$ con $x\le 1980$. Variante: Demuestra que la ecuación $4x^3-3x+1=2y^2$ tiene infinitas soluciones en enteros positivos $x,y$. Teorema del binomio