https://9lib.org/document/y8gx13nw-on-strong-proximinality-in-normed-linear-spaces.html