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