theorem FXX: :: NEWTON04:14

for f being complex-valued Function
for x1, x2 being Complex holds (f + x1) + x2 = f + (x1 + x2)