Функциональный анализ небезынтересно охватывает многомерный криволинейный интеграл, откуда следует доказываемое равенство.