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

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

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