theorem SFX: :: NEWTON04:29

for f being FinSequence of COMPLEX
for x being Complex holds Sum (f + x) = (Sum f) + (x * (len f))