Да, это тот первый интеграл, который имелся в виду.
Примечательно следующее обстоятельство: рассмотрим поле
.
Легко проверить, что коммутатор
и, сл-но, распределение
вполне интегрируемо.
Для всех точек
подпространство пространства
, порожденное
и
двумерно за исключением оси
и окружности
- здесь оно одномерно.
В итоге, одномерные интегральные подмногообразия распределения
-указанные выше ось
и окружность, а все
остальные интегральные подмногообразия - поверхности уровня найденного
- двумерные торы
, определенные при
.