theorem
  R is commutative non degenerated implies
    {v,0.V} is linearly-dependent by Th60;
