theorem
  Lin(A) = (0).V implies A = {} or A = {0.V} by MOD_3:7;
