 The function "f" is well-defined because the integral depends only on the endpoints of γ.That this "f" is an antiderivative of "g" can be argued in the same way as the real case.We have, for a given "z" in "U", that there must exist a disk centred on "z" and contained entirely within "U".