Sea formula_22 y si suponemos formula_23 para cada formula_13.