No pages link to Given a Hilbert space and a non-empty, closed and convex subset then for each point in the space there is a closest point in the subset.