Use Pascal's identity (#718)

Use Pascal's identity (#718)

Apply (nk)=(n−1k−1)+(n−1k)\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}.