---

Step * of Lemma sum-of-consecutive-squares

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

---

Latex:

---

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


By

---

Latex:
SumInd

---

Home Index