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