This result formalizes let , and let be a compact smooth CR manifold, where is the rank- CR bundle of complex tangent directions. It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.