Theorem: "Let formula_1 be a formula_2, codimension one foliation of a closed manifold formula_4.
Теорема: "Пусть formula_1 гладкое (класса formula_2) слоение коразмерности 1 на замкнутом многообразии formula_4.