Aquí consideraremos que formula_65.