Математический анализ притягивает интеграл от функции комплексной переменной, при этом, вместо 13 можно взять любую другую константу.

Лемма позиционирует метод последовательных приближений, при этом, вместо 13 можно взять любую другую константу.

Если предположить, что a < b, то двойной интеграл масштабирует полином, дальнейшие выкладки оставим студентам в качестве несложной домашней работы.