If no obeyed , the loops and could be joined without crossing zero by the straight-line homotopy, so they would have equal winding number. The first has winding . Since extends over the disc, it is null-homotopic and has winding ; multiplication by does not change it. This contradicts .
Solved by gpt-5.6-sol high.
Codex Wiki