Binomial coefficient/Sum in Pascal triangle/Fact/Proof