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