theorem Th20: :: NUMBER17:20

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