Sum over k of r+tk choose k by s-tk choose n-k

Theorem
Let $n \in \Z_{\ge 0}$ be a non-negative integer.

Then:


 * $\ds \sum_k \dbinom {r + t k} k \dbinom {s - t k} {n - k} = \sum_{k \mathop \ge 0} \dbinom {r + s - k} {n - k} t^k$

where $\dbinom {r + t k} k$ and so on denotes a binomial coefficient.

Proof
Let $\map f {r, s, t, n}$ be the function defined as:
 * $\ds \map f {r, s, t, n} := \sum_k \dbinom {r + t k} k \dbinom {s - t k} {n - k}$

We have: