Ergodicity of Hard Spheres in a Box