De aquí se sigue que si formula_10 es una función invariante de formula_7, tal que formula_12, entonces formula_13 es una constante de movimiento.