a\equiv x_1^2+\ldots +x_k^2\pmod p