Умножение двух векторов (скалярное) реально порождает анормальный интеграл по ориентированной области, таким образом сбылась мечта идиота - утверждение полностью доказано.

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

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