Let be a Hilbert Space, and a closed subspace of . Let . Then the distance from to is attained and unique. i.e. There is a unique such that