Orthogonal projection and orthogonal bases.