О выпуклых множествах в многообразии неотрицательной кривизны

Пусть $M$ — полное открытое риманово многообразие неотрицательной кривизны, $S$ и $S_0$ — две его души. Тогда существует диффеоморфизм $M$ на себя, который $S$ отображает изометрично на $S_0$. Если $S\ne S_0$, то нормальное расслоение $NS$ допускает ненулевое параллельное сечение. Библ. 8 назв.