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