Nuprl - Proof: fib coprime sfa

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

. CoPrime(fib(n),fib(n+1))

By:	SimilarTo n,k:. k = n+1 CoPrime(fib(n),fib(k))

Generated subgoals:

1   n,k:. k = n+1    CoPrime(fib(n),fib(k))
8 steps

2 1. n :
2. k:. k = n+1    CoPrime(fib(n),fib(k))
  CoPrime(fib(n),fib(n+1))
1 step

About:

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

1	n,k:. k = n+1 CoPrime(fib(n),fib(k))	8 steps
2	1. n : 2. k:. k = n+1 CoPrime(fib(n),fib(k)) CoPrime(fib(n),fib(n+1))	1 step