Формула гомотопии

[pogulyat_vyshel]

Речь идет о формуле из теории дифференциальных форм: $L_v\omega=di_v\omega+i_vd\omega.$ Доказательство этой формулы упрощается до тривиального если выпрямить по известной теореме векторное поле $v$. Есть очевидные детали, связанные с обращением в 0 векторного поля, но думаю, их каждый может легко додумать самостоятельно.
(Просто сообщение в порядке обмена опытом)