Homotopy invariance of winding number states that a homotopy through closed paths in preserves winding number. Uniform continuity divides the interval so successive paths differ pointwise by less than the minimum modulus of the earlier path; the supplied perturbation lemma makes their winding numbers equal. Chaining the subdivisions proves the result.
Solved by gpt-5.6-sol high.
Codex Wiki