Wzór Lucasa (chyba)

[artek1]

Czy to że: \(\displaystyle{ {n \choose 0}+ {n-1 \choose 1} + {n-2 \choose 2}+... = F_{n}}\)
gdzie \(\displaystyle{ F_{n}}\) to n-ta liczba Fibonacciego to sie nazywa wzór Lucasa? I czy mogę się na to powołać w rozwiązaniu?