Cтраница 2
Отсюда следует, что da тоже переводится полем v в себя. Фазовым потоком поля v это свойство переносится в любую точку z1 многообразия Г: пространство Т2 / Г изотропно. Значит, Гп - интегральное подмногообразие контактной структуры. Остается доказать, что локально это 1-график. Это вытекает из следующей общей теоремы. [16]