The easiest part is the gauge and parametrization dependence of
the counterterms in superrenormalizable models with more than
four derivatives, both polynomial or nonlocal. It is easy to see
that these models do not have such dependencies. To get this
result, we note that formula (REF ) is valid for all such
models, both polynomial and nonlocal, with trading of
\(\varepsilon _{(4)}^{\mu \nu }\)  to the variational derivative of the
corresponding action \(\varepsilon ^{\mu \nu }\) . As we have seen above,
according to the power counting arguments, the divergences are
given by local expressions with four, two or zero derivatives of the
metric. On the other hand, in all superrenormalizable models, the
equations of motion \(\varepsilon ^{\mu \nu }\) 
have more than four derivatives of the metric. Thus, the non-zero
r.h.s. of (REF ) is incompatible with the locality
of the function \(f_{\mu \nu }\) , proving the statement about the
universality of renormalization
[1]}, [2]}, [3]}.
