Theorem: Classical symbol recovery

For finite $R$,

Under the hypotheses of Theorem thm:native,

The coefficient of $s^2/2$ in the native classical symbol is exactly (eq:ncomplete), including $-2{Y_1}^i{\partial }_i{n}_1$ and no $Y_2$.

Proof. All declared Wick corrections have an explicit factor of $\hslash$. The same is true of the contraction in (eq:star). Reduction modulo $\hslash$ therefore yields the ordinary polynomial and its ordinary product. The classical coefficient is the one proved in Theorem thm:jet.