Al restringir su dominio en formula_5 se obtiene una función biyectiva y por tanto con inversa.