En el caso de que formula_8, este resultado se reduce a formula_9.