The direct sum of a subspace and its orthogonal complement is the whole space.

Created almost 9 years ago