Nuprl - Proof: fib coprime sfa 1 1 1

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

1. k :

2. k = 0+1

x,y:

. 1

x+fib(k)

y = 1

By:	Witness: 1 \| 0

Generated subgoals:

None

About:

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