Lie bracket
包含在这些场撑成的空间中。因为李括号可在子空间上取，这个条件也是"必要"的。定理的这两种表述是因为李括号和外微分是相关的。