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