  The famous equivalence theorem is reexamined in order to make it applicable
to the case of intrinsically quantum infinite-component effective theories. We
slightly modify the formulation of this theorem and prove it basing on the
notion of generating functional for Green functions. This allows one to trace
(directly in terms of graphs) the mutual cancelation of different groups of
contributions.
