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