Sums of the choose function and the Binomial Formula

A satisfying little exact formula.