Entonces formula_5 es el valor de formula_6.