Si formula_22 podemos colocar formula_23 en lkugar de formula_21.