Can anyone please explain to me how one could apply the nearest theorem to deduce if there is a unique point, nearest to a set.
E.g., Show that if $F$ is a non-empty closed set in ${\bf R}^p$ and if $x$ is not an element of $F$, there is a unique point of $F$ that is nearest to $x$.