 Stars and bars

The number of nonnegative integer solutions of $x_1+\cdots +x_k=N$ is $\left(\genfrac{}{}{0ex}{}{N+k-1}{k-1}\right)$.