theorem
  {u,w,v} is linearly-independent & u <> v & u <> w & v <> w implies {u,
  - w,- v} is linearly-independent
proof
  - v = (- 1) * v & - w = (- 1) * w by RLVECT_1:16;
  hence thesis by Th28;
end;
