Задача А. Д. Александрова для CAT(0)-пространств

Решается известная проблема А. Д. Александрова для пространств неположительной кривизны. Основная теорема утверждает, что всякое геодезически полное локально компактное связное на бесконечности пространство $X$ неположительной кривизны в смысле Александрова обладает следующей характеризацией изометрий: всякая биекция $f\colon X\to X$, сохраняющая вместе с обратным отображением $f^{-1}$ расстояние 1, есть изометрия $X$.