Usted ha tropezado a través de un caso de Vandermonde de identidad:
$$
\sum_{k=0}^r{m\elegir k}{n\elegir r-k} = {m + n\elegir r}
$$
Así que usted es de hecho correcta, la respuesta es equivalente al coeficiente de $x^9$$(1+x)^{16}$, desde
$$
{16\elegir 9} = \sum_{k=0}^9{4\elegir k}{12\elegir 9-k}
$$
Para obtener el segundo formulario, tenga en cuenta que
$$
\begin{aligned}
\ [x^9](1+x)^{12}(1+x)^4 & = [x^9]\left(\sum_{k=0}^{12}{12\choose k}x^k\right)\left(\sum_{k=0}^4{4\choose k}x^k\right) \\
& = [x^9]\sum_{k=0}^{12+4}x^k\left(\sum_{i,j\ge0,\ i+j=k}{4\choose i}{12\choose j}\right) \\
& = [x^9]\sum_{k=0}^{16}x^k\left(\sum_{j=1}^{k}{4\choose j}{12\choose k-j}\right) \\
& = \sum_{j=0}^9{4\choose k}{12\choose 9-k}
\end{aligned}
$$
Que va desde la primera línea a la segunda línea, hemos utilizado esencialmente de un número finito de la versión del Producto de Cauchy, y para ir desde el interior de la suma en la segunda línea para el interior de la suma en la tercera línea, tenga en cuenta que si $i+j=k$,$i=k-j$, por lo que realmente nosotros sólo nos preocupamos de $j$.