In the case of t'Hooft-Feynman gauge the gauge fixing terms are
The squared divergences of fields transform the quadratic part of Lagrangian
for vector
bosons to a diagonal form like (4). The squared Goldstone field
terms give a mass to the
Goldstone particle equal to the mass of the corresponding
vector boson field. The off-diagonal quadratic terms, which follow from
the gauge fixing Lagrangian, cancel the off-diagonal terms (17)
up to complete divergency terms.
According to the general rule (3) the Faddeev-Popov Lagrangian is
Note that due to (9)
and according to (14)
After substitution of these derivatives to the Faddeev-Popov Lagrangian
we see that it contains the quadratic part:
and the following vertices of interaction: