Dynamical theorems for three hard spheres