Si formula_18, entonces se puede escribir formula_19 en lugar de formula_3.