Рассмотрим систему с гамильтонианом


-- симметрическая матрица положительно определенной квадратичной формы. Функции

-- гладкие при всех

.
Через

обозначим сдвиг на фазовом пространстве

вдоль траекторий этой системы от момента времени

до момента

.
Через

обозначим компактный отрезок гладкой кривой.
Доказать, что интеграл

не зависит от
