New results on the proximal point algorithm in non-positive curvature metric spaces. (3rd July 2017)