Bäcklund theorem

See @fels2007integrating page 428

If G is a Lie group acting on the jet bundle Jn by contact transformations then the action is the prolongation of the action of G on J1 by contact transformations.