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