In general you have that, $$\Pi_{(i_1,\dots, i_n)\in C_2^n}((-1)^{i_1}\sqrt{a_1}+\dots+(-1)^{i_n}\sqrt{a_n})$$ is an integer,
where $a_i$ is an integer $\forall i$.
Can you prove this?
* * *
I think an elementary proof may be this:
The polynomial $$\Pi_{(i_1,\dots, i_n)\in C_2^n} ((-1)^{i_1}X_1+\dots+(-1)^{i_n}X_n)$$ is clearly even on each of its variables, then it must be quadratic on each of its variables (meaning that it can be rewritten as a polynomial on $X_i^2$). And this concludes.