donde formula_15 sea una función inyectiva e formula_16 un intervalo.