Sum over k of n+k Choose 2 k by 2 k Choose k by -1^k over k+1

Theorem
Let $n \in \Z_{\ge 0}$.

Then:
 * $\displaystyle \sum_k \binom {n + k} {2 k} \binom {2 k} k \frac {\left({-1}\right)^k} {k + 1} = \left[{n = 0}\right]$

where:
 * $\dbinom {n + k} {2 k}$ etc. are binomial coefficients
 * $\left[{n = 0}\right]$ is Iverson's convention.