Nuprl - Proof: fib coprime sfa2 2

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

1. n :

. k = n+1

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

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

By:	BackThru: Hyp:-1

Generated subgoals:

None

About:

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