con formula_116 y formula_117 necesariamente reales.