Librarium
Settings

Proof F(2n) = F(n)*(F(n+1) + F(n-1)) Using the BINET's Formula