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