Теорема. Вычет функции относительно существенно особой точки равен коэффициенту при первой отрицательной степени в разложении функции в ряд Лорана в окрестности рассматриваемой особой точки:
. (2.120)
Доказательство. Согласно (2.119) для коэффициентов ряда Лорана, при k = 1 имеем:
.
Из определения вычета следует вывод теоремы.