Sum of Sequence of Product of Fibonacci Number with Binomial Coefficient

Theorem
Let $F_n$ denote the $n$th Fibonacci number.

Then:

where $\dbinom n k$ denotes a binomial coefficient.