### A New Proof of Okaji’s Theorem for a Class of Sum of Squares Operators

Let $P$ be a linear partial differential operator with analytic coefficients. We assume that $P$ is of the form “sum of squares”, satisfying Hörmander’s bracket condition. Let $q$ be a characteristic point for $P$. We assume that $q$ lies on a symplectic Poisson stratum of codimension two. General results of Okaji show that $P$ is analytic hypoelliptic at $q$. Hence Okaji has established the validity of Treves’ conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of...