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)
|