Nuprl - Proof: fib coprime sfa3 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fib coprime sfa3 1 2

1. n :

. k<n

(

x,y:

. fib(k)

x+fib(k+1)

y = 1)
3.

n+1 = 1

a,b:

. fib(n)

a+(fib(n)+fib(n-1))

b = 1

By:	SimilarTo: a,b:. fib(n-1)b+fib(n)(a+b) = 1

Generated subgoal:

1 a,b:. fib(n-1)b+fib(n)(a+b) = 1
3 steps

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html