theorem
  for V be non empty RLSStruct for A be Subset of V holds Int A c= conv A
   by Lm2;
