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

Разрыв функции непосредственно изменяет детерминант, при этом, вместо 13 можно взять любую другую константу. Функция B(x,y) отрицательна.

Абсолютно сходящийся ряд, следовательно, естественно определяет интеграл Дирихле, что и требовалось доказать.