theorem Th36: :: COMSEQ_3:36

for z being Complex st 1r <> z holds
for n being Nat holds (Partial_Sums (z GeoSeq)) . n = (1r - (z |^ (n + 1))) / (1r - z)