For nonnegative integers , put . Since , the denominator has no zero on or inside the unit circle. On ,
so . Consequently , and Rouché's theorem gives the same interior zero count for as for . The latter has zeros at zero and at , with the multiplicities combining when . Therefore
This is the interior zero count for a finite Blaschke product minus a constant. If , the nonzero constant has zero zeros, so the same conclusion includes that endpoint case.