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