This theorem states that the [orthogonal projection](/theorems/437) of a vector onto a closed subspace is the unique closest point in that subspace. It is the variational interpretation of projection and underlies least-squares and approximation arguments.