Integration by completely integrable Pfaffian equations

Theorem
Given an involutive distribution Z=S({Z1,…,Zr}) and a cinf-structure ⟨ω1,…,ωn−r⟩ for Z we can find the integral manifolds of Z by solving n−r completely integrable Pfaffian equations.

Remarks

References:
@pancinf-sym
@pancinf-struct
@pan23integration