Stars and Bars (Distributions and Compositions)

The number of nonnegative integer solutions of $x_1+\cdots+x_k=n$ is $\binom{n+k-1}{k-1}$; clear lower bounds by shifting variables, and switch to the bars-in-gaps count when objects are ordered.