Equivalence theorem and Faddeev-Popov ghosts

An algebraic proof of the equivalence theorem, to all orders of perturbation theory, is obtained by applying the equations of motion repeatedly in a normal-product algorithm. It is shown that, for certain nonlocal transformations, the equivalence theorem can be maintained by introducing Faddeev-Popov ghosts.