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

take W ; :: thesis: W is linearly-independent

thus W is linearly-independent ; :: thesis: verum