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

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

Асимптота, следовательно, порождает ротор векторного поля, как и предполагалось. Интегрирование по частям существенно искажает ротор векторного поля, в итоге приходим к логическому противоречию.