Convergence of over-relaxed contraction-proximal point algorithm in Hilbert spaces. (4th May 2017)