Hard ball systems are completely hyperbolic. Simányi, Nándor, Szász, Domokos (1999) Annals of Mathematics. Second Series