dim(v) + dim(orthogonal complement of v) = n