Let
be a path in
,
, and
and
be the tangents to the curves
and
at
and
. If there is an
such that
(1)
| |||
(2)
|
for all
(or, equivalently, if
has a zero of order
),
then
(3)
|
(4)
|
so the complex argument is
(5)
|
As ,
and
,
(6)
|