Definición
La generalización del teorema del binomio que desarrolla (x1 + x2 + ... + xm)^n como suma sobre todos los m‑tuplas de enteros no negativos (k1,...,km) cuya suma es n, con coeficientes dados por los coeficientes multinomiales n!/(k1!...km!).