reconsider S = {(0. V)} as Subset of V ;
take S ; :: thesis: S is linearly-dependent
thus S is linearly-dependent ; :: thesis: verum