dada por formula_143, es biyectiva.