There are thus two forms of the theorem: one which operates with distributions, that is smooth subbundles D of the tangent bundle TM; and the other which operates with subbundles of the graded ring of all forms on M.
for all v_1,\dots,v_k\in D. The set I(D) forms a subring and, in fact, an ideal in .