Напомним сначала некоторые классические свойства римановых многообразий отрицательной кривизны.