(aquí formula_9 es el coeficiente binomial).