con lo que formula_413 es también función inversa de formula_361, y así formula_413 y formula_406 han de ser la misma función (pues la inversa de cualquier función es única).