Proposition: inverse relation

Let ⟨X1,…,Xn−r⟩ be a cinf-structure for the distribution Z. Denote by fk a symmetrizing function of the vector field Xk considered as a C∞-symmetry of S(Xk). Then

μk:=1fk$$isanintegratingfactorforthe$k$−thPfaffianequationreferencedintheorem[[02THEOREMS/integrationbyPfaffianequations∥integrationbyPfaffianequations]]Specialcase:[[05MYRESEARCH/symmetrizingfactorsinthecaseofcorank1∥symmetrizingfactorsinthecaseofcorank1]].