Recurrence Relation for Fibonomial Coefficients

Theorem

 * $\dbinom n k_\FF = F_{k - 1} \dbinom {n - 1} k_\FF + F_{n - k + 1} \dbinom {n - 1} {k - 1}_\FF$

where:
 * $\dbinom n k_\FF$ denotes a Fibonomial coefficient
 * $F_{k - 1}$ etc. denote Fibonacci numbers.