If f(x1, ..., xn) ∈ Z[x1, ..., xn] has the property that every integer specialization gives an integral square value, then f is itself the square of a polynomial. We also give an effective version of this result by using an effective version of a classical theorem of E. Noether along with a theorem of Lang and Weil.
