Sum over k of n Choose k by Fibonacci t to the k by Fibonacci t-1 to the n-k by Fibonacci m+k

Theorem

 * $\displaystyle \sum_{k \mathop \ge 0} \binom n k {F_t}^k {F_{t - 1} }^{n - k} F_{m + k} = F_{m + t n}$

where:
 * $\dbinom n k$ denotes a binomial coefficient
 * $F_n$ denotes the $n$th Fibonacci number.