Si formula_17 y formula_92, notar que formula_93.