NumThyExamples
Sections
NuprlLIB
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Rank
Theorem
Name
8
Thm*
n
:
. CoPrime(fib(
n
),fib(
n
+1))
[fib_coprime_sfa3]
cites the following:
7
Thm*
a
,
b
:
. CoPrime(
a
,
b
)
(
x
,
y
:
.
a
x
+
b
y
= 1)
[coprime_bezout_id]
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
NumThyExamples
Sections
NuprlLIB
Search
Doc
n:
. CoPrime(fib(n),fib(n+1))a,b:
. CoPrime(a,b) 
(
x,y:. a
x+by = 1)n:. CoPrime(fib(n),fib(n+1))a,b:. CoPrime(a,b) (x,y:. ax+by = 1)