formula_9 es una función biyectiva.