Sum over j, k of -1^j+k by j+j Choose k+l by r Choose j by n Choose k by s+n-j-k Choose m-j

Theorem
Let $l, m, n \in \Z$ be integers such that $n \ge 0$.

Then:
 * $\displaystyle \sum_{j, k \mathop \in \Z} \left({-1}\right)^{j + k} \dbinom {j + k} {k + l} \dbinom r j \dbinom n k \dbinom {s + n - j - k} {m - j} = \left({-1}\right)^l \dbinom {n + r} {n + l} \dbinom {s - r} {m - n - l}$