Kinetic theory of hard spheres