Statement

The identity Fn1+Fn+1=LnF_{n-1}+F_{n+1}=L_n holds. Use it to compute L7L_7 from the Fibonacci numbers.