Аналитическое продолжение локально заданных римановых многообразий

Пусть задана малая окрестность нуля в $R^n$ и риманова метрика на ней. Изучаются аналитические продолжения данной окрестности до большего риманова многообразия. Доказывается, что если первоначальная окрестность не допускает инфинитезимальных изометрий, то она единственным образом продолжается до многообразия $M$ со следующими свойствами: $M$ не имеет двух изометричных открытых подмножеств и не допускает дальнейшего расширения. Библ. 4 назв.