定理定義這定理說如完備黎曼流形M的裡奇曲率有下界,那麼其直徑不超過。而且,如直徑等于,則流形和有常截面曲率的球面等距。定理推廣這結果對流形的萬有覆疊同樣成立,特别地,和其覆蓋都緊緻,所以覆疊是有限葉的,有有限基本群。