formula_8 definida por formula_9.