Me puse el uso infinito de descenso. Deje $ N =a_na_{n-1}a_{n-2}\ldots\ldots a_2a_1a_0$ ser la representación decimal del número. A continuación, cualquiera de $N$ termina en un número par de ceros o $a_0=6$
Ahora todos los cuadrados son $\equiv 0 \text{ or } 1 \bmod 4 $. Pero si $N$ termina en $06\text{ or }66 $,$N\equiv 2 \bmod 4 $. Por lo tanto $ N $ no termina en $6$.
Si $N$ termina en un número par de ceros, entonces, a continuación,$ N=10^{2n}\cdot N'$.
Aplicar el mismo argumento a $ N'$ comenzamos un descenso infinito.
Es la prueba de la correcta ? Más corto pruebas ?