Considere una progresión aritmética no constante $a_1, a_2,\cdots, a_n,\cdots$. Suponga que existen enteros positivos relativamente primos $p>1$ y $q>1$ tales que $a_1^2, a_{p+1}^2$ y $a_{q+1}^2$ son también los términos de la misma progresión aritmética. Demuestre que los términos de la progresión aritmética son todos enteros.