The argument principle says equals zeros minus poles. Applying it to the homotopy proves Rouché when on the boundary. On , dominates , so there is one zero inside; on , dominates , so there are six. Hence the annulus contains five. For the limit theorem, if nonconstant took the same value at two points, use disjoint small circles and Rouché on to force a second preimage, contradicting injectivity.
Solved by gpt-5.6-sol high.
Codex Wiki