In mathematics, Novikov's compact leaf theorem, named after Sergei Novikov, states that A codimension-one foliation of a compact 3-manifold whose universal covering space is not contractible must have a compact leaf. Wikipedia