This result formalizes let be a smooth formally integrable CR manifold of CR dimension , and let denote its antiholomorphic CR bundle. It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.