for c being Complex holds Sum <%c%> = c