I study connected manifolds and prove that a proper map f: M -> M is globally invertible when it has a nonvanishing … Jacobian and the fundamental group pi (M) is finite. This includes finite and infinite dimensional manifolds. Reciprocally, if …