---

Step * 2 of Lemma fib_coprime

.....upcase..... 
1. n : ℤ@i
2. [%1] : 0 < n@i
3. CoPrime(fib(n - 1),fib((n - 1) + 1))
⊢ CoPrime(fib(n),fib(n + 1))
BY
{ (All (RW IntNormC) THENA Auto) }

1
1. n : ℤ@i
2. [%1] : 0 < n@i
3. CoPrime(fib((-1) + n),fib(n))
⊢ CoPrime(fib(n),fib(1 + n))

---

Latex:

---

Latex:
.....upcase..... 
1.  n  :  \mBbbZ{}@i
2.  [\%1]  :  0  <  n@i
3.  CoPrime(fib(n  -  1),fib((n  -  1)  +  1))
\mvdash{}  CoPrime(fib(n),fib(n  +  1))


By

---

Latex:
(All  (RW  IntNormC)  THENA  Auto)

---

Home Index