theorem
  R is non degenerated implies
   (A <> {} & A is linearly-closed iff for l holds Sum(l) in A) by VECTSP_6:14;
