Mathematics, Probability, Combinatorics.
side of the equality is the set of decreasing functions from the set of integers between 1 and n-1 to the set of integers between 0 and k. The set of decreasing functions from a finite set X onto a finite set Y is equinumerous to the set of functions from Y onto the natural numbers with a range