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

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

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