Prove $8k+1$ is a quadratic residue mod $2^m$ for all $m\ge 1$.
Wikipedia claims this without a proof. I haven't found any proofs on the Internet. If you've found one, please share the link with us.
Edit: so I've written a proof:
$8k+1$ is always a quadratic residue mod $2,4,8$. Use induction.
Suppose $x_m^2\equiv 8k+1\pmod{2^m}$ for some $m\ge 3$.
Then find a $x_{m+1}$ such that $x_{m+1}^2\equiv 8k+1\pmod{2^{m+1}}$.
If $\frac{x_m^2-(8k+1)}{2^m}$ is odd, let $x_{m+1}=x_m+2^{m-1}$.
Then $\frac{x_{m+1}^2-(8k+1)}{2^m}=\frac{x_m^2-(8k+1)}{2^m}+x_m+2^{m-2}$ is even.
If $\frac{x_m^2-(8k+1)}{2^m}$ is even, let $x_{m+1}=x_m$.
If you have any other proofs, please let us know.