А значит, возникает разбиение на пары на 2n точках, по которым кривая пересекает маленькую окружность вокруг особой точки:

Иными словами — хордовая диаграмма:

И возникает такой же естественный вопрос: а какие хордовые диаграммы реализуются? И сколько их?

(Кстати — тут три запрета это просто поддиаграммы, а вот четвёртый это целое счётное семейство: запрещены "циклы" любой длины n>=5)

На этом я завершаю рассказ про лекцию Жиса — а про его книгу хочу упомянуть ещё три места:

1) Доказательство Гаусса основной теоремы алгебры:

Если на комплексной плоскости задан многочлен P(z), то условие P(z)=0 равносильно паре условий
Re P(z)=0
и
Im P(z)=0.

Давайте я чуть-чуть сэкономлю и скажу, что _пусть_ каждое из этих условий задаёт неособую кривую — а точнее, набор кривых.

Это, конечно, далеко не всегда так — эти кривые могут оказаться особыми, как на этом рисунке (он и предыдущий — из книги Жиса):

Красная кривая тут это Re P(z)=0, а синяя это Im P(z)=0. Особые точки есть на обоих. Иногда бывает так, что особые точки есть только на одной из них (опять же, картинка из книги) —

Но, в любом случае, если чуть-чуть "пошевелить" полином, то они исчезнут. А потом, устремив "шевеление" к нулю и аккуратно проконтролировав происходящее, можно будет найти ноль и у невозмущённого полинома.
(Да, я использую современный анализ вместо того, чтобы аккуратно с особыми точками работать, как раз таки разбираясь с чётностью количества ветвей, но так идея проще рассказывается.)

Так вот — нас интересуют точки пересечения синих и красных кривых. Пусть кривые неособые; посмотрим, что мы видим на большом расстоянии от 0. А видим мы как раз такую картину, как для чистого z^n — в круг большого радиуса R красные и синие ветви входят, чередуясь.

Раз мы уже предположили, что они неособые, то точки входа по отдельности для красной и для синей кривых разобьются на пары, соединённые неособыми кривыми — как для синей кривой тут.