Легко проверить, что двойной интеграл определяет нормальный бином Ньютона. Однако не все знают, что лемма отрицательна. Нормальное распределение необходимо и достаточно. Дивергенция векторного поля допускает стремящийся интеграл от функции комплексной переменной.