Ja. Genau. Gib den existierenden Summen noch eine Variable als Wert. Ich versuch das mal einzufügen in deinen Text. 
Sei (an)nElementN eine konvergente Folge. j nV. Element N also endlich.
Wenn ∑n=0 bis ∞ an konvergiert so muss auch ∑n=j bis ∞ an konvergieren 
Beweis: Wenn ∑n=0 bis ∞ an konvergiert, ist ∑n=0 bis ∞  an = s , wobei s Element C.
da s= ∑n=0 bis ∞ an = ∑n=0 bis j-1 an + ∑n=j bis ∞ an , gilt
  ∑n=0 bis j  an = -s +  ∑n=0 bis j-1 an . 
Das ist eine Summe von endlich vielen komplexen Summanden und deshalb eine komplexe Zahl? Also Existent. qed. ==>
 
und
Sei (an)nElementN eine ab Summand j konvergente Folge. j nV. Element N also endlich.
Wenn ∑n=j bis ∞ an konvergiert so muss auch ∑n=0 bis ∞ an konvergieren 
Beweis: Wenn ∑n=0 bis ∞ an konvergiert, ist ∑n=j bis ∞  an = t , wobei t Element C.
da ∑n=0 bis ∞ an nichts anderes als ∑n=0 bis ∞ an = ∑n=0 bis j-1 an + ∑n=j bis ∞ an = ∑n=0 bis j-1 an    + t . Das ist eine Summe von endlich vielen komplexen Summanden und deshalb existent. qed. <==