[math-fun] Question about integer points on spheres