Lifting the ‘stars and bars’ identity

Let denote the number of -multisubsets of an -set. A basic result in enumerative combinatorics is that One proof of this uses the method of stars and bars. The link will take you to Wikipedia; for a similar take on the method, interpreting as the number of ways to put unlabelled balls into numbered urns, […]