“…By the definition of H tmin,dc (q 2 ), for H < H tmin,dc min , the wall does not intersect the Hill region. Since, by (30), the two global minima of V are within the billiard domain, and thus H tmin,dc min is larger than the global minima, the corresponding leaves are in the billiard by claim 2 of proposition 4.1 and the first item of the proposition follows.…”