This implies that G/K is a Hadamard space, i.e. a complete metric space satisfying a weakened form of the parallelogram rule in a Euclidean space.
Из этого следует, что G / K {\displaystyle G/K} является пространством Адамара, то есть полным метрическим пространством, удовлетворяющим ослабленную форму тождества параллелограмма в Евклидовом пространстве.