Hard balls, Bolzmann-Sinai hypothesis, 
semi-dispersing billiards, ergodicity, Lyapunov function