1.7.20 Si formula_16 es una función biyectiva, puede definirse la función formula_380, llamada "función inversa" de formula_3, por