Novikov's compact leaf theorem

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.