Throughout this paper, we work in the setting of hyperbolic spaces
introduced by Kohlenbach [1]} and hence the term Kohlenbach
hyperbolic spaces as one can find different notions of hyperbolic spaces in
the current literature, see [2]}, [3]}, , [4]}.
