Предоположим, что и — жордановы кривые с общими концами, и — их гомотопия. Сразу заметим, что концы кривых в данных условиях будут неподвижны. Далее, предположим, что канонический элемент аналитически продолжается вдоль любой кривой из . Тогда результат аналитического продолжения совершенно не зависит от выбора кривой.
Теорема о гомотопической инвариантности аналитического продолжения.