Suppose
-
A function
is analytic on a simply connected region
-
is a simple closed contour in
-
is analytic on
and
for 
Then
has the same number of zeros as
inside
counted according to their multiplicity.
Proof: By 2 above, if
then
lies inside the open disc with centre
and radius![]()

Since![]()
cannot pass on the opposite side of the origin as
so
and
circle the origin the same number of times and
)
Example: Take
and
and let
be the circle
traversed anticlockwise.
Then
and
on
so all the conditions of Rouche's theorem are satisfied and
and
both have winding number three about the origin.