---

Step * 1 1 of Lemma q-triangle-inequality2


1. x : ℚ
2. y : ℚ
3. z : ℚ
4. |x + -(z)| ≤ (|x + -(y)| + |y + -(z)|)
⊢ |x - z| ≤ (|x - y| + |y - z|)
BY
{ (QNorm 0 THEN Auto) }

---

Latex:

---

Latex:

1.  x  :  \mBbbQ{}
2.  y  :  \mBbbQ{}
3.  z  :  \mBbbQ{}
4.  |x  +  -(z)|  \mleq{}  (|x  +  -(y)|  +  |y  +  -(z)|)
\mvdash{}  |x  -  z|  \mleq{}  (|x  -  y|  +  |y  -  z|)


By

---

Latex:
(QNorm  0  THEN  Auto)

---

Home Index