× H 2 . Our choice of h is then in contradiction with the following statement, communicated to us by Bucher-
Karlsson:Proposition. For any h > 0, the distance between the midpoints of two adjacent edges in F h is smaller than arccosh(3) ∼ 1.763.In particular, F h contains two non-adjacent edges at distance smaller than 2 arccosh(3).Proof. Given a hyperbolic geodesic triangle with angles α, β, γ and opposite sides of lengths a, b, c respectively, the second cosine rule for hyperbolic triangles states that sin(β) sin(γ ) cosh(a) = cos(α) + cos(β) cos(γ ).