Dado el valor actual de formula_9, se obtiene que formula_10.