2. 0<n
3.
k:
. k = n-1+1 
(
x,y:. fib(n-1)
x+fib(k)y = 1)
4. k :
5. k = n+1
6.
k = 0
7.
k = 1
a,b:. fib(n)a+(fib(k-1)+fib(k-2))b = 1
k:. k = n-1+1 (x,y:. fib(n-1)x+fib(k)y = 1)
k = 0
k = 1
a,b:. fib(n)a+(fib(k-1)+fib(k-2))b = 1| By: |
 THEN Rewrite by k-2 = n-1 |
| 1 |
a,b:. fib(n)a+(fib(n)+fib(n-1))b = 1 | 3 steps |
About:
 |  |  |  |  |  |  |  |  |  |