Sum of Binomial Coefficients over Upper Index/Proof 2