Suponiendo que estamos en un anillo conmutativo (es decir, que $x_1x_2 = x_2x_1$ y así sucesivamente), podemos utilizar el multinomial para describir el coeficiente de cada monomio distinto después de recoger los términos.
Piensa en la expresión $(x_1 + x_2 + \cdots+ x_k)^n$ ampliado como $$(x_1 + x_2 + \cdots+ x_k)(x_1 + x_2 + \cdots+ x_k)\cdots(x_1 + x_2 + \cdots+ x_k) \quad\quad (n ~~times)$$
Cuando multiplicamos esto, elegimos uno de los $x_i$ de cada uno de los grupos parentales $$(x_1 + x_2 + \cdots+ x_k).$$
En total, elegiremos $n$ variables (algunas de ellas quizá iguales) para multiplicarlas entre sí y crear un monomio.
Hay $\binom{n}{m_1,~m_2, ~m_3, \ldots, ~m_k}$ formas de obtener el monomio $x_1^{m_1}x_2^{m_2}\cdots x_k^{m_k}.$ Esto significa que el coeficiente es exactamente eso: $$\binom{n}{m_1,~m_2, ~m_3, \ldots, ~m_k} = \frac{n!}{m_1!m_2!\cdots m_n!}.$$