multi-dimensional semi-dispersing billiards, singularities, local ergodicity, fundamental theorem