Since W is a subspace of an innerproduct space, we can select an orthonormal basis for W containing dim(W) vectors. Since W^ is a subspace, we can select an orthonomal basis for W^ containing dim(W^) vectors. Show that their union is a basis for the entire space.