---

Step * 6 of Lemma q-triangle-inequality


1. r : ℚ
2. s : ℚ
3. ¬0 < r + s
4. ¬0 < r
5. 0 < s
6. ¬((-(r) + -(s)) ≤ (-(r) + s))
⊢ (-(r) + -(s)) ≤ (-(r) + s)
BY
{ QConstraints⋅ }

---

Latex:

---

Latex:

1.  r  :  \mBbbQ{}
2.  s  :  \mBbbQ{}
3.  \mneg{}0  <  r  +  s
4.  \mneg{}0  <  r
5.  0  <  s
6.  \mneg{}((-(r)  +  -(s))  \mleq{}  (-(r)  +  s))
\mvdash{}  (-(r)  +  -(s))  \mleq{}  (-(r)  +  s)


By

---

Latex:
QConstraints\mcdot{}

---

Home Index