text: Более точно, любое полное односвязное риманово многообразие изометрично прямому произведению R n × M 1 × ⋯ × M k {\displaystyle \mathbb {R} ^{n}\times M_{1}\times \dots \times M_{k}} евклидова пространства R n {\displaystyle \mathbb {R} ^{n}} и полных односвязных неприводимых римановых многообразий положительной размерности M i {\displaystyle M_{i}} , причём такое разложение единственно с точностью до порядка сомножителей.