donde hemos introducido formula_7