theorem
  Sum(- L) = - Sum(L) by VECTSP_6:46;
