Key points are not available for this paper at this time.
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.
Lee et al. (Thu,) studied this question.