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