la_26 是一个函数时则“恰当形式是闭形式”便是关于 "x" 与 "y" 二阶导数的对称性的一个推论，这可以直接推广到高维情形。在formula_18上，恰当 1-形式相当于有势场（保守场），闭 1-形式相当于无旋场。故“恰当形式是闭形式”用向量分析的语言来说相当于有势场一定是无旋场。
庞加莱引理.庞加莱引理断言：如果 formula_29 是 formula_30 中可缩开子集，对任何整数 formula_31，任何定义在 formula_29 上的光滑闭 formul