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

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

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