This result formalizes let , write points of in coordinates with , and define the standard left-invariant vector fields X j= x j +2y j t and Y j= y j -2x j t and T= t for . It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.