Sea formula_4 el espacio de consumo.