Terms remaining for homogeneous ghosts

The coordinate ${\sigma }_{\epsilon }^{\prime }$ terms and the scalar $\partial g,\square g$ terms are visible. Homogeneous ghosts need not vanish in their sampling regions. The uniform plateau hypothesis on compact parameters consequently does not delete these terms. Furthermore, $\frac{1}{2}{\mathcal{L}}_{\xi }K\xi$ belongs to a finite two-jet transformation; it is absent from the infinitesimal rule $s_0\gamma =\mathcal{R}c$. Theorem thm:classical is therefore not a proof of free BRST closure.