---

Step * 1 of Lemma rabs-is-zero


1. x : ℝ
2. (|x| ≤ r0) ⇒ ((-(r0) ≤ x) ∧ (x ≤ r0))
3. (|x| ≤ r0) ⇐ (-(r0) ≤ x) ∧ (x ≤ r0)
4. |x| = r0
⊢ x = r0
BY
{ (D 2 THEN Auto) }

---

Latex:

---

Latex:

1.  x  :  \mBbbR{}
2.  (|x|  \mleq{}  r0)  {}\mRightarrow{}  ((-(r0)  \mleq{}  x)  \mwedge{}  (x  \mleq{}  r0))
3.  (|x|  \mleq{}  r0)  \mLeftarrow{}{}  (-(r0)  \mleq{}  x)  \mwedge{}  (x  \mleq{}  r0)
4.  |x|  =  r0
\mvdash{}  x  =  r0


By

---

Latex:
(D  2  THEN  Auto)

---

Home Index