“…For n > 1, b is analytic hypoelliptic on (0, 1) forms, for any C ω , strictly pseudoconvex CR structure. Proofs of this and/or closely related results can be found in [7], [12], [18], [19], [22]. Identifying B ⊂ C n with a ball in R 2n , we regard B × R as a subset of R 2n+1 , hence as a totally real submanifold of C 2n+1 .…”