Suppose we have a functional And some family of transformations where satisfying and: Then there is a first integral of Euler-Lagrange equations: Summation is implied with a vector of variables. Example If there is no dependence, we can try . The theorem then gives: which is a First integral in Euler-Lagrange > First integrals.