reconsider W = {} the carrier of V as finite Subset of V ;
take W ; :: thesis: W is linearly-independent
thus W is linearly-independent ; :: thesis: verum