Para $ a_i \in \mathbb{Z}^ +$ , $ i = 1, \ldots, k$ , y $ n = \sum^k_{i = 1} a_i$ , sea $ d = \gcd(a_1, \ldots, a_k)$ denotar el máximo común divisor de $ a_1, \ldots, a_k$ . Demuestra que $ \frac {d} {n} \cdot \frac {n!}{\prod\limits^k_{i = 1} (a_i!)}$ es un entero.