theorem
  {v,0.V} is linearly-dependent & {0.V,v} is linearly-dependent by Th10;
