ネーターの定理
Noether's theorem states that formula_166 (as one may explicitly check by substituting the Euler–Lagrange equations into the left hand side).