theorem
  {0.V} is linearly-dependent by Th8;
