This theorem gives the orthogonal projection of a vector onto a finite-dimensional subspace of an inner product space. It also identifies that projection as the unique best approximation from the subspace and gives the standard orthonormal basis formula.