I have the following problem
Prove by induction that there are $S(m,n) = \binom{n+m-1}{m-1}$ solutions to: $$\sum_{i=1}^m x_i = n$$ where $m \geq 1$, each $x_i$ is a non-negative integer as is $n$.
Clearly, the base case $S(1,0)$ is the number of solutions to $x_i = 0$ which is $1$, and the formula verifies this. I started by inducting on $m$, and considered $\sum_{i=1}^{m+1} x_i = n$. If $x_{m+1} = 0$, there are clearly $S(m,n)$ solutions. This is where I don't know how to proceed, what is the argument if $x_{m+1}>0$?
I am familiar with the usual stars-and-bars method, but I would like to prove it this way instead.