Simbólicamente formula_17 indica lo mismo.