“…This method, when rephrased, as we do here, in terms of the canonical Lagrangian, is just a reduction procedure from L c to L that can be independently justified. 18 We prove in the appendix that it is legitimate to substitute within the Lagrangian (L c in our case) the auxiliary variables, that is, the variables (p and λ in our case) that can be isolated by using their own equations of motion. Now, given a generalized Noether transformation δ c q i associated, according to (61), with a constant of motion G c , we can readily prove that δq i := (δ c q i )| (p=p,λ=v) (λ = v includes, obviously,λ =v = (∂v/∂q)q +q(∂v/∂q), and so on forλ, etc.)…”