---

Step * of Lemma rv-ge-dist

∀n:ℕ. ∀a,b,c,p:ℝ^n.  (d(a;b) ≤ d(c;p) ⇐⇒ cp ≥ ab)
BY
{ Auto }

1
1. n : ℕ
2. a : ℝ^n
3. b : ℝ^n
4. c : ℝ^n
5. p : ℝ^n
6. d(a;b) ≤ d(c;p)
⊢ cp ≥ ab

2
1. n : ℕ
2. a : ℝ^n
3. b : ℝ^n
4. c : ℝ^n
5. p : ℝ^n
6. cp ≥ ab
⊢ d(a;b) ≤ d(c;p)

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}a,b,c,p:\mBbbR{}\^{}n.    (d(a;b)  \mleq{}  d(c;p)  \mLeftarrow{}{}\mRightarrow{}  cp  \mgeq{}  ab)


By

---

Latex:
Auto

---

Home Index