Ya si un entero es un cuadrado, debe ser de las formas que has descrito.
Es más fácil demostrar esto usando la notación de congruencia. Cualquier entero es congruente a $0$, $1$, $2$, $3$ o $4$ módulo $5$. Ahora nota que $0^2$, $1^2$, $2^2$, $3^2$ y $4^2$ son respectivamente congruentes a $0$, $1$, $4$, $4$ y $1$ módulo $5, por lo tanto nunca a $2$ o a $3$ módulo $5.
Si no queremos usar la notación de congruencia, calculamos el resto cuando se dividen $(5k)^2$, $(5k+1)^2$, $(5k+2)^2$, $(5k+3)^2$ y $(5k+4)^2$ por $5$. Como ejemplo, hagámoslo para $(5k+3)^2$. Esto es $25k^2+30k+9$, que es $5(5k^2+6k+1)+4$, por lo tanto tiene un resto de $4$ en la división por $5.
Por curiosidad, exploremos los cubos módulo $5$. Nota que $0^3$, $1^3$, $2^3$, $3^3$ y $4^3$ son respectivamente congruentes a $0$, $1$, $3$, $2$ y $4$ módulo $5. Entonces, a diferencia de los cuadrados, los cubos pueden tomar cualquier valor módulo $5.
Observando los números $0$, $1$ y $64$, que son todos cuadrados perfectos y cubos perfectos, podemos ver que en realidad un número que es un cuadrado perfecto y un cubo perfecto puede ser de cualquiera de las formas descritas.