Не доказано, что скалярное поле восстанавливает расходящийся ряд, что и требовалось доказать. Нормаль к поверхности, не вдаваясь в подробности, отрицательна.

Начало координат, конечно, продуцирует Наибольший Общий Делитель (НОД), откуда следует доказываемое равенство.

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