  A power-counting renormalizable model into which massive Yang-Mills theory is
embedded is analyzed. The model is invariant under a nilpotent BRST
differential s. The physical observables of the embedding theory, defined by
the cohomology classes of s in the Faddeev-Popov neutral sector, are given by
local gauge-invariant quantities constructed only from the field strength and
its covariant derivatives.
