Diremos que formula_9 es: