Para la demostración también se utiliza la propiedad de que si "p" es un número primo, entonces el coeficiente binomial formula_1 es divisible por "p", para todo "n", tal que 1≤ "n"<"p".