---

Step * 1 of Lemma raise-left-endpoint-rless

.....assertion..... 
∀a:ℝ. ∀n:ℤ.  ((a + (r(n + 1) * a)) = (r(n + 2) * a))
BY
{ Auto }

1
1. a : ℝ
2. n : ℤ
⊢ (a + (r(n + 1) * a)) = (r(n + 2) * a)

---

Latex:

---

Latex:
.....assertion..... 
\mforall{}a:\mBbbR{}.  \mforall{}n:\mBbbZ{}.    ((a  +  (r(n  +  1)  *  a))  =  (r(n  +  2)  *  a))


By

---

Latex:
Auto

---

Home Index