---

Step * 1 1 1 1 1 2 1 1 1 1 1 1 1 1 3 1 1 1 1 1 1 1 2 1 of Lemma Rolles-theorem


1. k : ℕ+
2. v1 : ℝ
3. z : ℝ
4. r0 < z
5. |v1| ≤ ((r1/r(2 * k)) * z)
6. (((r1/r(k)) * z) ≤ v1) ∨ (v1 ≤ ((r(-1)/r(k)) * z))
7. (z/r(2 * k)) < (z/r(k))
8. v1 ≤ |v1|
9. -(v1) ≤ |v1|
⊢ False
BY
{ ((nRNorm (-5) THENA Auto) THEN (nRNorm (-4) THENA Auto)) }

1
1. k : ℕ+
2. v1 : ℝ
3. z : ℝ
4. r0 < z
5. |v1| ≤ (z/r(2 * k))
6. ((z/r(k)) ≤ v1) ∨ (v1 ≤ -((z/r(k))))
7. (z/r(2 * k)) < (z/r(k))
8. v1 ≤ |v1|
9. -(v1) ≤ |v1|
⊢ False

---

Latex:

---

Latex:

1.  k  :  \mBbbN{}\msupplus{}
2.  v1  :  \mBbbR{}
3.  z  :  \mBbbR{}
4.  r0  <  z
5.  |v1|  \mleq{}  ((r1/r(2  *  k))  *  z)
6.  (((r1/r(k))  *  z)  \mleq{}  v1)  \mvee{}  (v1  \mleq{}  ((r(-1)/r(k))  *  z))
7.  (z/r(2  *  k))  <  (z/r(k))
8.  v1  \mleq{}  |v1|
9.  -(v1)  \mleq{}  |v1|
\mvdash{}  False


By

---

Latex:
((nRNorm  (-5)  THENA  Auto)  THEN  (nRNorm  (-4)  THENA  Auto))

---

Home Index