Nuprl - Proof: fib coprime 2 1

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

1. n :

2. 0<n
3. CoPrime(fib(-1+n),fib(n))

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

By:	RecCaseSplitNth 2 `fib`

Generated subgoals:

1 4. 1+n = 0  1+n = 1
  CoPrime(fib(n),1)
Auto

2 4. 1+n = 0 & 1+n = 1
  CoPrime(fib(n),fib(1+n-1)+fib(1+n-2))
2 steps

About:

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

1	4. 1+n = 0 1+n = 1 CoPrime(fib(n),1)	Auto
2	4. 1+n = 0 & 1+n = 1 CoPrime(fib(n),fib(1+n-1)+fib(1+n-2))	2 steps