  Effective Lagrangians, including those that are spontaneously broken, contain
redundant terms. It is shown that the classical equations of motion may be used
to simplify the effective Lagrangian, even when quantum loops are to be
considered.
