---

Step * 1 1 1 1 1 1 2 1 of Lemma Cauchy-Schwarz-non-equality


1. n : ℕ
2. x : ℝ^n
3. v : ℝ^n
⊢ ||v|| ≠ ||x|| ⇒ x ≠ v
BY
{ EAuto 1 }

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}
2.  x  :  \mBbbR{}\^{}n
3.  v  :  \mBbbR{}\^{}n
\mvdash{}  ||v||  \mneq{}  ||x||  {}\mRightarrow{}  x  \mneq{}  v


By

---

Latex:
EAuto  1

---

Home Index