El teorema de Myers establece que si la curvatura de Ricci es limitada por abajo en una variedad completa de Riemann por formula_10, entonces su diámetro es formula_11, y la variedad tiene que tener un grupo fundamental finito.