Cartan–Hadamard_conjecture loading ...