---

Step * 1 of Lemma rmaximum-constant


1. n : ℤ
2. d : ℤ
⊢ ∀x:{n..(n + 0) + 1-} ⟶ ℝ. ∀r:ℝ.  ((∀i:{n..(n + 0) + 1-}. (x[i] = r)) ⇒ (x[n] = r))
BY
{ Auto⋅ }

---

Latex:

---

Latex:

1.  n  :  \mBbbZ{}
2.  d  :  \mBbbZ{}
\mvdash{}  \mforall{}x:\{n..(n  +  0)  +  1\msupminus{}\}  {}\mrightarrow{}  \mBbbR{}.  \mforall{}r:\mBbbR{}.    ((\mforall{}i:\{n..(n  +  0)  +  1\msupminus{}\}.  (x[i]  =  r))  {}\mRightarrow{}  (x[n]  =  r))


By

---

Latex:
Auto\mcdot{}

---

Home Index