Lagrange invariant
 
x
OK