Si formula_14 es una función real biyectiva, entonces su función inversa formula_15 existe y también es biyectiva.