for n being Nat
for c being Complex holds Sum (n --> c) = n * c