Se puede comprobar fácilmente a partir éstas dos últimas relaciones y de las las ecuaciones de Hamilton que esta función es una integral de movimiento y que, por tanto, su valor permanece constante, sin más que derivar respecto al tiempo: