On the proximal point method in Hadamard spaces. (3rd October 2017)