Cartan–Hadamard theorem
 
x
OK