The uniqueness theorem makes functions well defined. It states
Let
and
be analytic on a region
and suppose that
agrees with
on a set
where
has a limit point in
then
on![]()
If
has a limit point in
then there are an infinite number of distinct points in
where![]()
Example: If
and
prove that![]()
Let
be an analytic function on
such that![]()
The set
and has a limit point![]()

Furthermore if
then![]()
so that
on![]()
All the conditions of the uniqueness theorem are satisfied so that
on![]()