Parabolic-cap proof of Holmgren uniqueness

Near a non-characteristic plane $x=0$, use the small cap ${\omega }_{\epsilon }=\{x>0,x+y^2<\epsilon \}$. Its curved face is non-characteristic by continuity of the principal symbol. A polynomial coordinate change flattens that face. Uniform real analytic coefficient bounds and the uniform Cauchy radius for polynomial forcing solve $P^{\ast }v=g$ throughout a common cap, with zero boundary jet on the curved face. The complete boundary-jet condition for formal adjoints then gives ${\int }_{{\omega }_{\epsilon }}ug=0$ for every polynomial $g$. Uniform approximation of $\bar{u}$ gives $\int |u{|}^2=0$. Repeating on the other side of the plane proves two-sided local uniqueness.