En primer lugar, observe que cada elemento de S puede reescribirse como
4(25m+2) +3 donde m es un número entero, el siguiente paso es darse cuenta de que todos los cuadrados dejan un resto de 1 o 0 cuando se dividen por 4.
Como (2n)^2 = 4n^2 que claramente deja un resto de 0 cuando se divide por 4
Y para las plazas de impar: (2n-1)^2 = 4n^2 -4n +1 que claramente deja un resto de 1 al dividir por 4.
Pero escribiendo cada elemento de S como 4(25m+2) +3 vemos que deja un resto de 3 al dividirlo entre 4, por lo que nunca puede ser un cuadrado perfecto.