Определение метрики поверхности Лиувилля

Доказывается однозначность римановой метрики специального вида, если известны расстояния в этой метрике для некоторых пар точек гиперплоскости пространства, в котором задана искомая метрика.