theorem Th22: :: NUMBER17:22

for c1, c2, c3, c4, c5, c6 being Complex holds Sum <*c1,c2,c3,c4,c5,c6*> = ((((c1 + c2) + c3) + c4) + c5) + c6