theorem SFX: :: NEWTON04:29

for f being complex-valued FinSequence
for x being Complex holds Sum (f + x) = (Sum f) + (x * (len f))