Page "Diffeomorphism" Paragraph 12

* It is essential for U to be simply connected for the function f to be globally invertible ( under the sole condition that its derivative is a bijective map at each point ).