Entonces la función es [globalmente] inyectiva, puede demostrarse que formula_31 si el dominio formula_32 es convexo, mientras que un dominio no convexo requiere formula_33