We are given a subspace and a vector . Is there a vector satisfying the property that for all ? If such a vector exists, is it unique?