---

Step * 1 of Lemma fib_coprime

.....basecase..... 
CoPrime(fib(0),fib(0 + 1))
BY
{ (RecUnfold `fib` 0 THEN AbReduce 0) }

1
CoPrime(1,1)

---

Latex:

---

Latex:
.....basecase..... 
CoPrime(fib(0),fib(0  +  1))


By

---

Latex:
(RecUnfold  `fib`  0  THEN  AbReduce  0)

---

Home Index