Hay que tener en cuenta que se cumple formula_8