Binomial coefficient/Sum/Exercise

Prove the formula