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

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

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