if U is a euclidean vector space, and W a subspace of V, then how would we prove that dim U = dim W + dim (orthogonal complement of W)?