Sí, el razonamiento por debajo de la línea de tu pregunta es correcta, aunque puede ser ampliado para mayor claridad. Coloque una fila de $8$ estrellas, dicen:
$$********$$
Ahora inserte $4$ divisores para separarlas en $5$ grupos, por ejemplo,
$$*||***||****$$
De izquierda a derecha leer en el número de estrellas en cada una de las $5$ grupos: $$10304$$
El resultado es claramente un número entre el $1$ $99999$ cuyos dígitos suma a $8$. Y el procedimiento es claramente reversibles, por lo que el número de formas de inserción de la $4$ divisores realmente es el número de enteros en los que estamos interesados. Por ejemplo, comenzando con $352=00352$, obtenemos
$$||***|****|**$$
La cadena de las estrellas y de los divisores es una cadena de $8+4=12$ objetos, y el $4$ divisores puede ir a cualquier lugar en esta cadena, por lo que hay $\binom{12}4$ formas para colocar en ellas y, por tanto, $\binom{12}4$ números de la especie.