En término de formula_17, la rama principal está definida para aquellos valores de formula_17 tales que formula_19.