---

Step * 1 1 of Lemma seg_sum0


1. r : @i
2. L :  List@i
 l_sum(firstn((r + 1) - 0;L)) = l_sum(firstn(r + 1;L))
BY
{ Auto }

---

Latex:



1.  r  :  \mBbbZ{}@i
2.  L  :  \mBbbZ{}  List@i
\mvdash{}  l\_sum(firstn((r  +  1)  -  0;L))  =  l\_sum(firstn(r  +  1;L))


By

Auto

---

Home Index