Binomial coefficient/Sum in Pascal triangle/Fact/Proof

Proof

We have