Спасибо огромное, оооочень хорошо, что это так.
Только вот чтобы осознать доказательство мне не хватает подготовки, подскажите пожалуйста где можно прочитать необходимый минимум чтобы это понять? (Я этим не занимаюсь, но это некий переходный мостик в моей работе между двумя частями)
Я прочитал "Анализ на многообразиях" Спивака, и когда вижу

пытаюсь вычислить это через

Но видимо это можно как-то быстрее либо интуитивно проделывать. Ну и остальные проблемы у меня того же плана.