Хотя и кажется абстрактной, теорема о душе доказывает, что каждое полное, некомпактное риманово многообразие с неотрицательной секционной кривизной содержит компактное вполне выпуклое подмногообразие, и эти подмногообразия называются душами многообразия.