This result formalizes there exist an open neighbourhood of , a point , and a nowhere-vanishing smooth complex vector field such that the smooth complex line subbundle satisfies and . It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.