---

Step * 4 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.  0  <  r
5.  0  <  s
6.  \mneg{}((-(r)  +  -(s))  \mleq{}  (r  +  s))
\mvdash{}  (-(r)  +  -(s))  \mleq{}  (r  +  s)


By

---

Latex:
QConstraints\mcdot{}

---

Home Index