Estos dos ejemplos anteriores son casos del teorema de Noether, un resultado general que establece que si existe un grupo uniparamétrico de simetría "G" para el lagrangiano tal que: