---

Step * of Lemma sum-of-consecutive-cubes

∀[n:ℕ]. ((4 * Σ((i * i) * i | i < n)) = (((n - 1) * (n - 1)) * n * n) ∈ ℤ)
BY
{ SumInd }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  ((4  *  \mSigma{}((i  *  i)  *  i  |  i  <  n))  =  (((n  -  1)  *  (n  -  1))  *  n  *  n))


By

---

Latex:
SumInd

---

Home Index