Nuprl - Proof: fib coprime sfa2 1

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

n,k:

. k = n+1

CoPrime(fib(n),fib(k))

By:	Rewrite by Thm* a,b:. CoPrime(a,b) (x,y:. ax+by = 1) THEN CompNatInd Concl

Generated subgoal:

1 1. n :
2. n1:. n1<n  (k:. k = n1+1    (x,y:. fib(n1)x+fib(k)y = 1))
3. k :
4. k = n+1
  x,y:. fib(n)x+fib(k)y = 1
6 steps

About:

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