donde formula_3 es biyectiva.