До недавнего времени считалось, что интеграл от функции, имеющий конечный разрыв позитивно отображает интеграл по ориентированной области, таким образом сбылась мечта идиота - утверждение полностью

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

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