If formula_1 has a compact leaf with finite holonomy group, then all the leaves of formula_1 are compact with finite holonomy group.
Если formula_1 имеет компактный слой с конечной группой голономии, то все слои formula_1 являются компактными и имеют конечную группу голономии.