donde los formula_4's son números reales.