theorem FXX: :: NEWTON04:14

for f being COMPLEX -valued FinSequence
for x1, x2 being Complex holds (f + x1) + x2 = f + (x1 + x2)