Working with binomial coefficient $\sum_{k=0}^n (-1)^k \binom nk=0$