Spontaneously Broken Gauge Symmetries. III. Equivalence

We discuss the equivalence of the $S$ matrix in the $R$- and $U$-gauge formulations of spontaneously broken gauge theories. We give definitions of the $U$-gauge Green's functions in terms of the $R$-gauge ones, for both Abelian and non-Abelian cases. Based on the equivalence theorem, we give a renormalization prescription of the $U$-gauge formulation.