theorem Th19: :: POLYNOM3:20

for p being complex-valued FinSequence
for i being Nat st i < len p holds
Sum (p | (i + 1)) = (Sum (p | i)) + (p . (i + 1))