 Closest point theorem in a Hilbert space

Every nonempty closed convex subset $C$ of a Hilbert space contains a unique point nearest to each $x$. A minimizing sequence is Cauchy by the parallelogram identity, and uniqueness follows by applying the same identity to two minimizers and their midpoint.