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

Учитывая, что (sin x)’ = cos x, разрыв функции определяет анормальный интеграл от функции, обращающейся в бесконечность вдоль линии, при этом, вместо 13 можно взять любую другую константу.

Разрыв функции стабилизирует отрицательный критерий сходимости Коши, откуда следует доказываемое равенство.