reconsider S = {(0. V)} as Subset of V ;
A1: 0. V in S by TARSKI:def 1;
take S ; :: thesis: not S is linearly-independent
thus not S is linearly-independent by A1, VECTSP_7:3; :: thesis: verum