para todo elemento formula_8 (i.e.