Dejemos que $ \left( M,g \right)$ sea una variedad riemanniana cerrada de curvatura seccional no positiva $K \leq 0$ . ¿Existe entonces una variedad con un grupo fundamental finito $\pi_1 \left(M \right)$ . Sé que si nuestro colector es compacto y $K < 0$ entonces por el teorema de Preissman su grupo fundamental no necesita contener ningún subgrupo abeliano.