Simple proof of the global inverse function theorem via the Hopf--Rinow theorem

We explain that Hadamard’s global inverse function theorem very simply follows from the Hopf–Rinow theorem in Riemannian geometry.