---

Step * 1 of Lemma meq-rn-prod-metric


1. k : ℕ
2. x : ℝ^k
3. y : ℝ^k
4. ∀i:ℕ(k - 1) + 1. (|(x i) - y i| = r0)
5. i : ℕk
⊢ (x i) = (y i)
BY
{ (D -2 With ⌜i⌝  THEN EAuto 1) }

---

Latex:

---

Latex:

1.  k  :  \mBbbN{}
2.  x  :  \mBbbR{}\^{}k
3.  y  :  \mBbbR{}\^{}k
4.  \mforall{}i:\mBbbN{}(k  -  1)  +  1.  (|(x  i)  -  y  i|  =  r0)
5.  i  :  \mBbbN{}k
\mvdash{}  (x  i)  =  (y  i)


By

---

Latex:
(D  -2  With  \mkleeneopen{}i\mkleeneclose{}    THEN  EAuto  1)

---

Home Index