Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
а в том "источнике" подразумевался завеломо конечномерный
Да, конечномерный. Но копистартер согласился с моим замечанием, что ему интересен общий случай, а не только частный случай конечной размерности, поэтому док-во в терминах градиента его не устраивает. Ровно это и было написано перед Вашей придиркой.