theorem Th6: :: POLYDIFF:6

for f being complex-valued Function holds f + ((dom f) --> 0) = f