Por lo que hay formula_88 y formula_89, con formula_90, tales que formula_91.