(7steps total) Gloss PrintForm Definitions Lemmas NumThyExamples Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fib coprime sfa3 1 1

1. n : 
2. k:k<n  (x,y:. fib(k)x+fib(k+1)y = 1)
  a,b:. fib(n)a+1b = 1


By: Witness: 0 | 1


Generated subgoals:

None

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

(7steps total) Gloss PrintForm Definitions Lemmas NumThyExamples Sections NuprlLIB Doc