is a subspace of , , In other words, is closest vector in to See Orthogonal Decomposition, especially for the visual interpretation of this.