Привет,
я внес эти исправления, на днях появится

>Я бы просто взяла маленькую
> окружность с центром в нуле и
> посмотрела на то, что происходит с Q(z),
> когда z эту окружность пробегает.
> Понятно, что это будет кривая, обходящая
> вокруг 1 и не проходящая через 1
> (последнее получается оценкой разности
> (Q-1)/z^k -- что она не обращается в 0)

Это аргумент использует (явно или неявно)
фундаментальную группу и он будет приведен
в следующем листке, где будте фундаментальная
группа. "Понятно, что это будет кривая, обходящая
вокруг 1 и не проходящая через 1" - это
нетривиальный топологический аргумент и
требует обоснования.

Такие дела
Миша